Haladó szintre hozó kurzus/2

A MathWikiből
(Változatok közti eltérés)
(Kvantorok felcserélhetősége)
(Kvantorok felcserélhetősége)
1. sor: 1. sor:
 
:''Ez az szócikk a [[Haladó szintre hozó]] szócikk alszócikke.''
 
:''Ez az szócikk a [[Haladó szintre hozó]] szócikk alszócikke.''
  
==Kvantorok felcserélhetősége==
+
==Kvantorok==
  
 
'''1.''' Legyen (a<sub>n</sub>) valós számsorozat, '''N''' természetes számok halmaza, [0,&infin;) a nemnegatív számoké. Igazak-e az alábbi következtetések?
 
'''1.''' Legyen (a<sub>n</sub>) valós számsorozat, '''N''' természetes számok halmaza, [0,&infin;) a nemnegatív számoké. Igazak-e az alábbi következtetések?
10. sor: 10. sor:
  
 
'''2.''' Formalizáljuk az alábbi kifejezéseket és írjuk föl a negációjukat (tagadásukat).
 
'''2.''' Formalizáljuk az alábbi kifejezéseket és írjuk föl a negációjukat (tagadásukat).
:Minden tanyán van banya, aki tunya.
+
:a) Minden tanyán van banya, aki tunya.
:Van olyan tanya, ahol van tunya banya.
+
:b) Van olyan tanya, ahol van tunya banya.
:Ha minden tanyán van tunya banya, akkor van olyan banya, aki minden tanyán tunya.
+
:c) Ha minden tanyán van tunya banya, akkor van olyan banya, aki minden tanyán tunya.
:Mindenki szeret valakit.
+
:d) Mindenki szeret valakit.
:Mindenkit szeret valaki.
+
:e) Mindenkit szeret valaki.
:Valakit mindenki szeret.
+
:f) Valakit mindenki szeret.
:A delegátus elhozta feleségét, vagy nem hozta és jól érezte magát.
+
:g) A delegátus elhozta feleségét, vagy nem hozta és jól érezte magát.
  
  

A lap 2016. augusztus 8., 18:03-kori változata

Ez az szócikk a Haladó szintre hozó szócikk alszócikke.

Kvantorok

1. Legyen (an) valós számsorozat, N természetes számok halmaza, [0,∞) a nemnegatív számoké. Igazak-e az alábbi következtetések?

a) (\forall K\in [0,\infty))(\forall n\in \mathbf{N})(\,|a_n|\leq K\,)\quad \Rightarrow \quad(\forall n\in \mathbf{N})(\forall K\in [0,\infty))(\,|a_n|\leq K\,)
b) (\exists K\in [0,\infty))(\forall n\in \mathbf{N})(\,|a_n|\leq K\,)\quad \Rightarrow \quad(\forall n\in \mathbf{N})(\exists K\in [0,\infty))(\,|a_n|\leq K\,)
c) (\forall K\in [0,\infty))(\exists n\in \mathbf{N})(\,|a_n|\leq K\,)\quad \Rightarrow \quad(\exists n\in \mathbf{N})(\forall K\in [0,\infty))(\,|a_n|\leq K\,)
d) (\exists K\in [0,\infty))(\exists n\in \mathbf{N})(\,|a_n|\leq K\,)\quad \Rightarrow \quad(\exists n\in \mathbf{N})(\exists K\in [0,\infty))(\,|a_n|\leq K\,)

2. Formalizáljuk az alábbi kifejezéseket és írjuk föl a negációjukat (tagadásukat).

a) Minden tanyán van banya, aki tunya.
b) Van olyan tanya, ahol van tunya banya.
c) Ha minden tanyán van tunya banya, akkor van olyan banya, aki minden tanyán tunya.
d) Mindenki szeret valakit.
e) Mindenkit szeret valaki.
f) Valakit mindenki szeret.
g) A delegátus elhozta feleségét, vagy nem hozta és jól érezte magát.


1. téma 3. téma
Személyes eszközök