Αν οι προτάσεις p και q είναι ισοδύναμες, είναι και οι δύο σωστές ή και οι δύο ψευδείς, δηλαδή και οι δύο έχουν την ίδια τιμή αλήθειας. Μια ταυτολογία είναι μια δήλωση που είναι πάντα αληθινή. Μια αντίφαση είναι μια δήλωση που είναι πάντα ψευδής.
Τι σημαίνει το P -> Q;
p → q (το p συνεπάγεται q) (αν το p τότε q) είναι η πρόταση που είναι ψευδής όταν το p είναι αληθές και το q είναι ψευδές και αληθές διαφορετικά.
Τι είναι λογικά ισοδύναμο με το P → Q?
Το
P→Q είναι λογικά ισοδύναμο με το ¬P∨Q. … Παράδειγμα: "Αν ένας αριθμός είναι πολλαπλάσιο του 4, τότε είναι άρτιος" είναι ισοδύναμος με το, "ένας αριθμός δεν είναι πολλαπλάσιο του 4 ή (αλλιώς) είναι άρτιος. "
Τι είναι το P μόνο αν Q;
Μόνο εάν εισάγει το απαραίτητη συνθήκη: P μόνο εάν το Q σημαίνει ότι η αλήθεια του Q είναι απαραίτητη ή απαιτείται, προκειμένου το P να είναι αληθές. Δηλαδή, το P μόνο εάν το Q αποκλείει μόνο μία πιθανότητα: ότι το P είναι αληθές και το Q είναι λάθος.
Όταν το υπό συνθήκη p → q είναι ψευδές;
Εστω p και q δύο προτάσεις, τότε το "αν p τότε q" είναι μια σύνθετη πρόταση, που συμβολίζεται με p→ q και αναφέρεται ως πρόταση υπό όρους ή υπονοούμενο. Η επίπτωση p→ q είναι ψευδής μόνο όταν το p είναι αληθές και το q είναι ψευδές. διαφορετικά, είναι πάντα αλήθεια.
