→ Logika → Start Learning / Flashcards Téléchargement MP3

question		réponse
prawo tożsamości commencer à apprendre		p➡️p (dla implikacji) p↔️p
prawo II De Morgana (dla koniunkcji) commencer à apprendre		~(p🔼q)↔️ (~p🔽~q)
prawo wyłączonego środka commencer à apprendre		p🔽~p
prawo dylematu konstrukcyjnego commencer à apprendre		[(p➡️r)🔼(q➡️r)🔼(p🔽q)]➡️r
prawo sprzeczności commencer à apprendre		~(p🔼~p)
modus ponendo ponens commencer à apprendre		[(p➡️q)🔼p]➡️q
Tautologia commencer à apprendre		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ń commencer à apprendre		gdy występuje w zdaniu spójnik pozwala on na określenie fałszywości bądź prawdziwości tego zdania
Wnioskiwanie dedukcyjne commencer à apprendre		wnioskowanie prowadzące z prawdziwych przesłanek tylko do prawdziwych wniosków, dlatego logicznie niezawodne.
desygnat nazwy commencer à apprendre		jest to indywiduum, które dana nazwa oznacza
zbiór w sensie dystrybutywnym commencer à apprendre		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 commencer à apprendre		jest to zdanie, o którym można powiedzieć czy jest prawdziwe czy fałszywe

logika