▪ Λογικές πράξεις

Λογικός σύνδεσμος	Διαβάζεται	Λογική πράξη	Είδος πράξης
	«όχι»	ΑΡΝΗΣΗ	ΜΟΝΟΜΕΛΗΣ
	«..ή..»	ΕΓΚΛΕΙΣΤΙΚΗ ΔΙΑΖΕΥΞΗ	ΔΙΜΕΛΗΣ
	«ή μόνο...ή μόνο»	ΑΠΟΚΛΕΙΣΤΙΚΗ ΔΙΑΖΕΥΞΗ	ΔΙΜΕΛΗΣ
	«και»	ΣΥΖΕΥΞΗ	ΔΙΜΕΛΗΣ
	«εάν,...,τότε	ΣΥΝΕΠΑΓΩΓΗ	ΔΙΜΕΛΗΣ
	«εάν, και μόνο εάν,»	ΙΣΟΔΥΝΑΜΙΑ	ΔΙΜΕΛΗΣ

ΑΡΝΗΣΗ

Ονομάζουμε άρνηση μιας αρχικής πρότασης p μια νέα πρόταση, η οποία συμβολίζεται με 

p

 και διαβάζεται : «όχι p» και είναι αληθής, αν η p είναι ψευδής και ψευδής εάν η p είναι αληθής.

ΕΓΚΛΕΙΣΤΙΚΗ ΔΙΑΖΕΥΞΗ

Ονομάζουμε εγκλειστική διάζευξη ή απλά διάζευξη δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με

pq

και διαβάζεται “p είτε q” και είναι ψευδής μόνο αν και οι δύο προτάσεις p, q είναι ψευδείς. Σε όλες τις άλλες περιπτώσεις είναι αληθής.

ΑΠΟΚΛΕΙΣΤΙΚΗ ΔΙΑΖΕΥΞΗ

Ονομάζουμε αποκλειστική διάζευξη δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με 

pq

και διαβάζεται «ή μόνο p ή μόνο q» η οποία είναι ψευδής μόνο εάν οι p, q έχουν την ίδια τιμή αληθείας. Στις άλλες περιπτώσεις είναι αληθής. 
ΣΥΖΕΥΞΗ 

Ονομάζουμε σύζευξη δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με

pq

και διαβάζεται “p και q” και είναι αληθής μόνο αν και οι δύο προτάσεις p, q είναι αληθείς. Σε όλες τις άλλες περιπτώσεις είναι ψευδής.

ΣΥΝΕΠΑΓΩΓΗ 

Ονομάζουμε συνεπαγωγή δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με

pp

και διαβάζεται “αν p τότε q” και είναι ψευδής, μόνο αν η p είναι αληθής και η q είναι ψευδής. Σε όλες τις άλλες περιπτώσεις είναι αληθής.

ΙΣΟΔΥΝΑΜΙΑ 

Ονομάζουμε ισοδυναμία δύο αρχικών προτάσεων p και q μια νέα πρόταση, η οποία συμβολίζεται με  

pq

και διαβάζεται “p ισοδυναμεί q” και είναι αληθής, αν και μόνο αν, οι p, q έχουν την ίδια τιμή αληθείας. Σε όλες τις άλλες περιπτώσεις είναι ψευδής.