File:Predicate logic; tensor 013 MP and 113 SM.svg

Size of this PNG preview of this SVG file: 798 × 52 pixels. Other resolutions: 320 × 21 pixels | 640 × 42 pixels | 1,024 × 67 pixels | 1,280 × 83 pixels | 2,560 × 167 pixels | 11,040 × 720 pixels.

Original file ‎(SVG file, nominally 11,040 × 720 pixels, file size: 1.3 MB)

This is a file from the Wikimedia Commons. The description on its description page there is shown below.

Commons is a freely licensed media file repository. You can help.

Summary

Description

Minterm list of all 16³ = 4096 cases when there are

three predicates S (), M () and P ()
two variables
two individuals

Date

2013

Source

Own work

Author

Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".

Permission
(Reusing this file)

I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

This vector image was created with Inkscape, and then manually edited

.

The SVG code is valid.

This table was created with bin2svg.

This SVG file was uploaded with Commonist.

File history

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	17:48, 5 January 2014		11,040 × 720 (1.3 MB)	Watchduck

File usage

The following page uses this file:

Formulas in predicate logic; different predicates

Metadata

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it.

If the file has been modified from its original state, some details may not fully reflect the modified file.

Width	11040
Height	720

Retrieved from "https://en.wikiversity.org/wiki/File:Predicate_logic;_tensor_013_MP_and_113_SM.svg"