→ Logika →学習を始める /ダウンロードMP3フラッシュカード

学び始める

質問		答え
prawo tożsamości 学び始める		p➡️p (dla implikacji) p↔️p
prawo II De Morgana (dla koniunkcji) 学び始める		~(p🔼q)↔️ (~p🔽~q)
prawo wyłączonego środka 学び始める		p🔽~p
prawo dylematu konstrukcyjnego 学び始める		[(p➡️r)🔼(q➡️r)🔼(p🔽q)]➡️r
prawo sprzeczności 学び始める		~(p🔼~p)
modus ponendo ponens 学び始める		[(p➡️q)🔼p]➡️q
Tautologia 学び始める		to każde i tylko takie wyrażenie języka rachunku zdań, które jest schematem wyłącznie prawdziwych zdań
Ekstencjonalność spójników języka rachunku zdań 学び始める		gdy występuje w zdaniu spójnik pozwala on na określenie fałszywości bądź prawdziwości tego zdania
Wnioskiwanie dedukcyjne 学び始める		wnioskowanie prowadzące z prawdziwych przesłanek tylko do prawdziwych wniosków, dlatego logicznie niezawodne.
desygnat nazwy 学び始める		jest to indywiduum, które dana nazwa oznacza
zbiór w sensie dystrybutywnym 学び始める		to taki zbiór, w którym zespół posiada wiele wspólnych cech przedmiotów, które są złączone w jedność
zdanie w sensie logicznym 学び始める		jest to zdanie, o którym można powiedzieć czy jest prawdziwe czy fałszywe

logika