Advertisement
ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.5 (ΕΚΤΥΠΩΣΗ)
Nov. 5, 2015•0 likes•4,748 views
0 likes
Be the first to like this
Show More
views
Total views
0
On Slideshare
0
From embeds
0
Number of embeds
0
Download to read offline
Report
Education
1) Θεωρήματα του Προτασιακού Λογισμού 1.1) Το Θεώρημα Απαγωγής 1.2) Το Θεώρημα Αντιθετοαναστροφής 1.3) Το Θεώρημα Απαγωγής σε Άτοπο 1.4) Το Θεώρημα Εγκυρότητας 1.5) Το Θεώρημα Πληρότητας 2) Τρία Σημαντικά Τυπικά Θεωρήματα 2.1) Το τυπικό Θεώρημα ⊢ φ→φ 2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ 2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ Ασκήσεις
Dimitris PsounisFollow
Teacher & Manager at Δημήτρης Ψούνης - Υπηρεσίες ΕκπαίδευσηςAdvertisement
Advertisement
Advertisement
ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 2.5 (ΕΚΤΥΠΩΣΗ)
- ! " " " !" # ! $ % # $ & ' ( ' ( ! ! ) ' ( % ' ( ' ( ' ( " ' ( * * +,-./ #$ % & %' ( # % # ) % % * # #' #( % !" # ! $ % # $ & ' ( % ' ( #' #( + %,% + 0 $ 1 $ 1 % " $ 2 " $ - . &+ %,% + 3$ 1 $ ' ! ! ) ' ( 4 2. 5 2 % ' ( 4 2. . 5 67 2 % ' ( $ 1 $ 84 2. . . 25 9 1 $ " ' ( 2 2 , • 1 !" # $ • & ' ( 1 ' ( (- • !" # $ • & ' ( ' ( / 0 " 1 ! 1 ' ( - : ; $ < $ = ' ( - > > > 3 3- . 2 > / > > > > > > > > 3 3/ . 2 > . ? > > > > +,-./ @ > > 3 3- 2. 2 A > +,?.@ ' ( / : ; $ < $ ' ( " ' ( - * 2 ' ( ' ( " ' ( * 2 ' ( " ' ( - * / 3 3- ? +,-./ @ 3 3? A +,?.@ B 3 : C +,B.A 9 " ' ( $ 2
Advertisement