XXVIII UNITA': i simboli della logica matematica

COME SI LEGGE

DESCRIZIONE	SIMBOLO	SIMBOLO IN BRAILLE
proposizione vera (si usa come prefisso)		<v
proposizione non vera (si usa come prefisso)		>v
tautologia (si usa come prefisso)		=
contraddizione (si usa come prefisso)		:
"e" logico (congiunzione)		?
"o" logico (disgiunzione)		*
"o..o" logico (esclusione)		)
implica (per cui, pertanto, da cui)		:o
è implicato da		9:
negazione (è prefisso di soprallineatura)		0
equivale a		!=,
NAND		>? oppure |
NOR		>*
relazione biunivoca		9:o
identico	oppure ==	==

Esempi
la proposizione vera p	<	v		p
				p
la proposizione non vera p	>	v		p
				p
p e q  pq oppure pq oppure p&q oppure Kpq		p		?		q
		p				q
p o q  pVq oppure p+q oppure Apq		p		*		q
		p				q
o p o q   pq oppure p aut q		p		)		q
		p				q
p implica q    pq oppure pq oppure Cpq		p	:	o		q
		p				q
q è implicato da p   qp oppure qp		q	9	:		p
		q				p
p  oppure ~p oppure  oppure Np	0		p
			p
p equivale a q   pq oppure pq oppure Epq		p	!	=	,		q
		p					q
(pq) oppure ~(pq) oppure oppure p|q		p	>		?		q
(pVq) oppure ~(pVq) oppure oppure p||q oppure pq		p	>		*		q