Prawa (tautologie) rachunku zdań. Metoda zerojedynkowa W języku rachunku zdań - to jest przy pomocy znanych już nam zmiennych zdaniowych (p, q, r, s,) oraz stałych (~, →, , , ) i nawiasów - można sformułować schemat dowolnego zdania złożonego, zarówno należącego do języka codziennego i naukowego...
Prawa wynikające ze stosunku wykluczania i dopełniania się zdań alternatywnych i dysjunktywnych Pamiętamy, że zdanie alternatywne jest fałszywe tylko w jednym przypadku, a mianowicie wtedy, gdy oba jego człony są fałszywe. We wszystkich pozostałych przypadkach jest prawdziwe. I na tym właśnie opier...
Prawda logiczna W logice w odniesieniu do zdań najistotniejsze jest to, że wyrażą one prawdę bądź fałsz. Możemy zatem powiedzieć, że zdaniem logicznym jest wyrażenie prawdziwe bądź fałszywe. Prawda i fałsz - to dwie
Rachunek zdań Wiadomości wstępne Współczesna logika formalna obejmuje dwa podstawowe działy, a mianowicie rachunek zdań i rachunek predykatów. Rachunek zdań jest najogólniejszą teorią logiki formalnej. Zamiast „rachunek zdań” mówi się czasem...
Relacje semantyczne nazw Jednoznaczność i wieloznaczność nazw Zajmiemy się teraz kwestią stosunków zachodzących między nazwami, ich znaczeniami i przedmiotami, które one oznaczają. Takie stosunki w logice nazywamy relacjami semantycznymi . Arystoteles rozróżnił dwa podstawowe typy relacji semantycz...
Rzetelne i nierzetelne sposoby argumentowania i prowadzenia sporów Szczególnego rodzaju wnioskowaniem jest przekonywanie. Ma ono bardzo wiele wspólnego z wnioskowaniem logicznym, chociaż rządzi się ono swoimi prawami. Każdy z nas doskonale wie, co to jest argumentacja i czemu służy. I dlatego nie b...
Sprawdzanie trybów za pomocą diagramów Venna Tryby sylogistyczne można badać również za pomocą, znanych już nam, diagramów Venna. Metoda ta polega na zaznaczeniu na kołach Venna relacji, jakie zachodzą między zakresami terminów występujących w obu przesłankach i sprawdzeniu, czy wynik obu relacji o...
Stosunki między zakresami nazw Między zakresami nazw mogą zachodzić rozmaite stosunki (nie uwzględniamy tu nazw pustych, tzn. nazw, których zakresy są zbiorami pustymi, czyli pozbawionymi desygnatów). Ograniczymy się do omówienia pięciu podstawowych stosunków: równoważności, podrzędności, nadrzędn...
Sylogizmy niedoskonałe Sylogizmy, które zbudowane są zgodnie z regułami sylogistyki, nazywane są sylogizmami doskonałymi. Oprócz nich logika tradycyjna wymienia jeszcze sylogizmy niedoskonałe, które różnią się od tych doskonałych bądź tym, że pomijają jedną z przesłanek, bądź tym, że mają przesłank...
Symbolika i podstawowe schematy rachunku kwantyfikatorów Rachunek zdań ustala i formułuje prawa dotyczące relacji zachodzących między zdaniami prostymi (reprezentowanymi w nim przez zmienne zdaniowe) i między związkami tych zdań, nie biorąc pod uwagę wewnętrznej struktury tychże zdań prostych. Dlat...
