Δεοντική Λογική (ΕΗΥ2)
Ενότητες
Κλασική Προτασιακή Λογική, ΙΙ
Η ενότητα αυτή είναι αφιερωμένη σε μια περιληπτική αναφορά στον προτασιακό λογισμό, δηλαδή, στη μελέτη της διαδικασίας εξαγωγής συμπερασμάτων με χρήση τυπικών εννοιών και εργαλείων (αξιώματα, παραγωγικοί κανόνες, τυπικές αποδείξεις).
