Егер p және q ұсыныстары эквивалентті болса, олардың екеуі де ақиқат немесе екеуі де жалған, яғни екеуінің де ақиқат мәні бірдей. Тавтология - бұл әрқашан ақиқат болатын мәлімдеме. Қарама-қайшылық – әрқашан жалған болатын мәлімдеме.
P -> Q нені білдіреді?
p → q (p q дегенді білдіреді) (егер p болса, q) – p ақиқат, q жалған және басқа жағдайда ақиқат болғанда жалған болатын ұсыныс.
P → Q логикалық тұрғыдан немен тең?
P→Q логикалық тұрғыдан ¬P∨Q мәніне балама. … Мысал: “Егер сан 4-ке еселік болса, онда ол жұп” дегенге баламалы, “сан 4-ке еселік емес немесе (басқа) ол жұп.”
Тек Q болса ғана P деген не?
Тек қажетті шартты енгізген жағдайда: P тек Q P ақиқат болуы үшін Q ақиқаты қажет немесе талап етілетінін білдірсе. Яғни, P тек егер Q бір мүмкіндікті жоққа шығарса ғана: бұл P ақиқат және Q жалған.
Шартты p → q қашан жалған болады?
p және q екі мәлімдеме болсын, «егер p болса, q» p→ q арқылы белгіленетін және шартты мәлімдеме немесе импликация ретінде қарастырылатын құрама мәлімдеме. p→ q импликациясы p ақиқат болғанда ғана жалған болады, ал q жалған; әйтпесе, бұл әрқашан шындық.
